4854 search results - page 266 / 971 » It's the Programming, Stupid |
159
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an algorithm to automatically design posynomial models for parameters of the MOS transistors using simulation data. These models improve the accuracy of the Geometric P...
201
click to vote
TLDI
2005
ACM
16 years 25 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
163
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
182
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
184
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...