5506 search results - page 829 / 1102 » Minimal Logic Programs |
135
Voted
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Pervasive networks with low-cost embedded 8-bit processors are set to change our day-to-day life. Public-key cryptography provides crucial functionality to assure security which is...
135
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
108
click to vote
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
Register integration (or simply integration) is a mechanism for incorporating speculative results directly into a sequential execution using data-dependence relationships. In this...
110
Voted
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
106
click to vote
AINA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—We propose PRoPHET+, a routing scheme for opportunistic networks designed to maximize successful data delivery rate and minimize transmission delay. PRoPHET+ computes a ...