作  者
期刊 & 会议
 
年  份
Carlos Perez 的引文(9) 排序方式:
Service-Oriented Device Integration for Ubiquitous Ambient Assisted Living Environments  
As a result of the increment of population in countries of Europe, a lot of efforts from European Authorities are coming from. In our research we want to bring forward a suite of developments related ......
International Work-Conference on Artificial and NaturalNeural Networks  2009
0次引用 0 0
Evaluating coverage of error detection logic for soft errors using formal methods  
In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining fault-injection in high level design (HLD) descriptions with a formal verification approac......
Design, Automation, and Test in Europe  2006
20次引用 0 0
Visual Novelty Detection for Autonomous Inspection Robots  
Mobile robot applications that involve automated exploration and inspection of environments are often dependant on novelty detection, the ability to di#erentiate between common and uncommon perception......
 2006
3次引用 0 0
Experiences during the Experimental Validation of the Time-Triggered Architecture  
During last years, the time-triggered architecture (TTA) has been gaining acceptance as a generic architecture for highly dependable real-time systems. It is now being used to implement the "x-by-wire......
Design, Automation, and Test in Europe  2004
0次引用 0 0
Towards a Framework for Dependability Benchmarking  
The goal of dependability benchmarking is to provide generic ways for characterizing the behavior of components and computer systems in the presence of faults, allowing for the quantification of depen......
 2002
2次引用 0 0
A Study of the Effects of Transient Fault Injection into the VHDL Model of a Fault-Tolerant Microcomputer System  
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdo......
International On-Line Testing Symposium  2000
24次引用 0 0
Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System  
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdo......
European Dependable Computing Conference  1999
8次引用 0 0
Real Time Fault Injection Using On Chip Debug Infrastructures - A Case Study  
As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibilit......
0次引用 0 0
Towards Video Understanding of Laparoscopic Surgery: Instrument Tracking  
Endoscopic surgery routinely produces video data. Automated understanding of these data has applications both online (visual servoing for telemanipulation) and oine (procedure analysis, annotation and......
2次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜