4520 search results - page 538 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
SC
2004
ACM
16 years 8 days ago
2004
ACM
To achieve maximum performance gains through compiler optimization, most automatic performance tuning systems use a feed-back directed approach to rate the code versions generated...
200
Voted
MICRO
2003
IEEE
16 years 4 days ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
168
click to vote
AE
2001
Springer
15 years 11 months ago
2001
Springer
This is a time of increasing interdisciplinary research. Computer science is learning more from biology every day, enabling a plethora of new software techniques to flourish. And b...
160
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type de�...
162
click to vote
ICPADS
1998
IEEE
15 years 11 months ago
1998
IEEE
1 Although widely used in distributed transactional systems, the so-called Two-Phase Commit (2PC) protocol introduces a substantial delay in transaction processing, even in the abs...