4854 search results - page 625 / 971 » It's the Programming, Stupid |
166
click to vote
CODES
2005
IEEE
16 years 11 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
154
Voted
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we highlight a fast, effective and practical statistical approach that deals with inter and intra-die variations in VLSI chips. Our methodology is applied to a numb...
158
click to vote
IWPSE
2005
IEEE
16 years 10 days ago
2005
IEEE
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
172
Voted
PDP
2005
IEEE
16 years 10 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
150
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...