4440 search results - page 469 / 888 » The space of design |
188
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
In networks-on-chip (NoC) designs, delay variations and crosstalk noise have become a serious issue with the continuously shrinking geometry of semiconductor devices and the incre...
170
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
186
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
152
click to vote
PERVASIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We report a qualitative study of the use of physical space and wireless laptops by ten United States households. Although wireless laptops purportedly offer the opportuni...
173
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...