7961 search results - page 1389 / 1593 » Input-Output Model Programs |
187
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
150
click to vote
NOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...
190
click to vote
BTW
2007
Springer
16 years 16 days ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
166
click to vote
CCS
2007
ACM
16 years 16 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
164
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...