12774 search results - page 2428 / 2555 » A Framework for Proof Systems |
168
click to vote
ISLPED
2006
ACM
16 years 14 days ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...
180
click to vote
NETGAMES
2006
ACM
16 years 13 days ago
2006
ACM
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...
188
click to vote
CODES
2005
IEEE
16 years 3 days ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
153
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
— Knowing the positions of the nodes in a network is essential to many next generation pervasive and sensor network functionalities. Although many network localization systems ha...
166
click to vote
RTAS
2005
IEEE
16 years 2 days ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...