Sciweavers

15644 search results - page 35 / 3129
» Brittle System Analysis
Sort
View
IJRFITA
2007
115views more  IJRFITA 2007»
15 years 1 months ago
Environmental and performance analysis of SAW-based RFID systems
: This paper describes the environmental effects and performance analysis of 2.45 GHz Surface Acoustic Wave (SAW) based RFID systems. Piezoelectric materials and their underlying p...
Darmindra D. Arumugam, Daniel W. Engels, Amar Modi
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 10 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
IPPS
2007
IEEE
15 years 8 months ago
Dependability Modeling and Analysis in Dynamic Systems
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
Salvatore Distefano, Antonio Puliafito
90
Voted
CODES
1999
IEEE
15 years 6 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
111
Voted
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 3 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich