2500 search results - page 357 / 500 » Specifying Behavior in C |
112
Voted
EUROSYS
2007
ACM
16 years 22 days ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
131
Voted
ALT
2001
Springer
16 years 18 days ago
2001
Springer
This paper concerns the design of a Support Vector Machine (SVM) appropriate for the learning of Boolean functions. This is motivated by the need of a more sophisticated algorithm ...
131
click to vote
ICCD
2006
IEEE
16 years 17 days ago
2006
IEEE
— Accurate estimation of worst-case crosstalk effects is critical for a realistic estimation of the worst-case behavior of deep sub-micron circuits. Crosstalk analysis models usu...
113
Voted
ICCAD
2006
IEEE
16 years 16 days ago
2006
IEEE
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
104
Voted
SOSP
2001
ACM
16 years 16 days ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...