Sciweavers

435 search results - page 33 / 87
» Scalably distributed SystemC simulation for embedded applica...
Sort
View
120
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 1 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
FCCM
2004
IEEE
143views VLSI» more  FCCM 2004»
15 years 3 months ago
Reconfigurable Molecular Dynamics Simulator
Current high-performance applications are typically implemented on large-scale general-purpose distributed or multiprocessing systems often based on commodity microprocessors. Fie...
Navid Azizi, Ian Kuon, Aaron Egier, Ahmad Darabiha...
94
Voted
SENSYS
2004
ACM
15 years 5 months ago
Synopsis diffusion for robust aggregation in sensor networks
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
Suman Nath, Phillip B. Gibbons, Srinivasan Seshan,...
EMS
2009
IEEE
15 years 6 months ago
Accurate Timeliness Simulations for Real-Time Wireless Sensor Networks
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
Jérôme Rousselot, Jean-Dominique Deco...
NETWORK
2008
107views more  NETWORK 2008»
14 years 11 months ago
Wireless Mesh Networks for In-Home IPTV Distribution
IPTV is considered to be the next killer application. A key, challenging issue is inhome IPTV distribution with affordable deployment cost and sufficient flexibility, scalability,...
Emad Shihab, Lin Cai, Fengdan Wan, T. Aaron Gulliv...