Sciweavers

4647 search results - page 95 / 930
» Analysis and design of OFDM-IDMA systems
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
13 years 11 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
HASE
1998
IEEE
14 years 1 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
CSB
2005
IEEE
131views Bioinformatics» more  CSB 2005»
14 years 2 months ago
Current Challenges in Bioimage Database Design
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
Ambuj K. Singh, Arnab Bhattacharya, Vebjorn Ljosa
SIGMETRICS
2008
ACM
144views Hardware» more  SIGMETRICS 2008»
13 years 9 months ago
Co-designing the failure analysis and monitoring of large-scale systems
Large-scale distributed systems provide the backbone for numerous distributed applications and online services. These systems span over a multitude of computing nodes located at d...
Abhishek Chandra, Rohini Prinja, Sourabh Jain, Zhi...
EMSOFT
2005
Springer
14 years 2 months ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele