Sciweavers

8959 search results - page 1571 / 1792
» Composing aspects with aspects
Sort
View
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
16 years 25 days ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch
VMCAI
2007
Springer
16 years 24 days ago
Lattice Automata
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
Orna Kupferman, Yoad Lustig
WAPCV
2007
Springer
16 years 24 days ago
Differences and Interactions Between Cerebral Hemispheres When Processing Ambiguous Words
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
Orna Peleg, Zohar Eviatar, Hananel Hazan, Larry M....
CCECE
2006
IEEE
16 years 23 days ago
QOS Driven Network-on-Chip Design for Real Time Systems
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
Ankur Agarwal, Mehmet Mustafa, Abhijit S. Pandya
186
Voted
CODES
2006
IEEE
16 years 23 days ago
Battery discharge aware energy feasibility analysis
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
Henrik Lipskoch, Karsten Albers, Frank Slomka
« Prev « First page 1571 / 1792 Last » Next »