Sciweavers

2288 search results - page 186 / 458
» An integrated system for genetic analysis
Sort
View
ASPDAC
2008
ACM
127views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Power grid analysis benchmarks
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
Sani R. Nassif
RTS
2006
176views more  RTS 2006»
15 years 6 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Automatic 3D City Construction System using Omni Camera
Video analysis and mixed reality (MR) systems, which integrate the virtual world and the real world, are important topics of multimedia research. In this paper, we propose an ef...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 1 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
SOFTVIS
2006
ACM
16 years 18 days ago
Visualizing live software systems in 3D
The analysis of the runtime behavior of a software system yields vast amounts of information, making accurate interpretations difficult. Filtering or compression techniques are o...
Orla Greevy, Michele Lanza, Christoph Wysseier