18306 search results - page 3079 / 3662 » Algorithmics in Exponential Time |
115
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) that implements the OS layer in a dual-processor SMP architecture. Intertask communication is specified b...
127
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
137
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
The success of sensor-driven applications is reliant on whether a steady stream of data can be provided by the underlying system. This need, however, poses great challenges to sen...
216
click to vote
FBIT
2007
IEEE
15 years 11 months ago
2007
IEEE
In Wireless Sensor Networks (WSNs), address-based routing approaches often lead to severe problems due to node mobility, energy-saving sleep-cycles, and often missing or unreliabl...
168
click to vote
FBIT
2007
IEEE
15 years 11 months ago
2007
IEEE
Many virtual reality systems have a distributed structure for certain purposes such as more computational power, tele-presence, collaboration, and portability. However, network de...