13109 search results - page 2266 / 2622 » The design and implementation of AspectC |
183
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris ...
172
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
199
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...
185
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
Since battery life directly impacts the extent and duration of mobility, one of the key considerations in the design of a mobile embedded system should be to maximize the energy d...
166
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Power consumption within the disk-based storage subsystem forms a substantial portion of the overall energy footprint in commodity systems. Researchers have proposed external cach...