Sciweavers

9267 search results - page 195 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 7 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
ICSE
2004
IEEE-ACM
16 years 5 months ago
Evaluating Object-Oriented Designs with Link Analysis
Alexander Chatzigeorgiou, Spiros Xanthos, George S...
MOBIWAC
2009
ACM
16 years 1 days ago
Protocol design and analysis of a HIP-based per-application mobility management platform
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...
László Bokor, László T...
181
Voted
EMSOFT
2004
Springer
15 years 11 months ago
Scheduling within temporal partitions: response-time analysis and server design
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
Luís Almeida, Paulo Pedreiras