1403 search results - page 77 / 281 » Quantitative Interprocedural Analysis |
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
Herein we present a quantitative noise analysis of diffraction enhanced imaging (DEI), an x-ray imaging method that produces absorption and refraction images, with inherent immuni...
91
Voted
WETICE
2002
IEEE
15 years 5 months ago
2002
IEEE
Various systems offering anonymity for near real-time Internet traffic have been operational. However, they did not deliver many quantitative results about performance, bandwidth...
86
Voted
BIB
2006
15 years 22 days ago
2006
Flux balance analysis (FBA) has emerged as an effective means to analyse biological networks in a quantitative manner. Much progress has been made on the extension of FBA to incor...
73
Voted
TITB
2008
15 years 17 days ago
2008
Abstract--We describe a wireless wearable system that was developed to provide quantitative gait analysis outside the confines of the traditional motion laboratory. The sensor suit...