Sciweavers

1729 search results - page 21 / 346
» Deterministic Expressions in C
Sort
View
INFOCOM
2006
IEEE
15 years 5 months ago
Is Deterministic Deployment Worse than Random Deployment for Wireless Sensor Networks?
— Before a sensor network is deployed, it is important to determine how many sensors are required to achieve a certain coverage degree. The number of sensor required for maintain...
Honghai Zhang, Jennifer C. Hou
FORMATS
2005
Springer
15 years 5 months ago
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
Oded Maler, Dejan Nickovic, Amir Pnueli
ASPLOS
2009
ACM
16 years 11 days ago
DMP: deterministic shared memory multiprocessing
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Os...
ASPLOS
2009
ACM
16 years 11 days ago
Capo: a software-hardware interface for practical deterministic multiprocessor replay
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
Pablo Montesinos, Matthew Hicks, Samuel T. King, J...
WAIFI
2007
Springer
127views Mathematics» more  WAIFI 2007»
15 years 5 months ago
The Quadratic Extension Extractor for (Hyper)Elliptic Curves in Odd Characteristic
We propose a simple and efficient deterministic extractor for the (hyper)elliptic curve C, defined over Fq2 , where q is some power of an odd prime. Our extractor, for a given poi...
Reza Rezaeian Farashahi, Ruud Pellikaan