Sciweavers

15840 search results - page 717 / 3168
» The Control of Synchronous Systems
Sort
View
ICSE
2009
IEEE-ACM
16 years 8 months ago
Listening to programmers - Taxonomies and characteristics of comments in operating system code
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
Yoann Padioleau, Lin Tan, Yuanyuan Zhou
ICCAD
2001
IEEE
91views Hardware» more  ICCAD 2001»
16 years 4 months ago
A System for Synthesizing Optimized FPGA Hardware from MATLAB
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
Malay Haldar, Anshuman Nayak, Alok N. Choudhary, P...
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
16 years 12 days ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
SIGCOMM
1997
ACM
15 years 11 months ago
Skyscraper Broadcasting: A New Broadcasting Scheme for Metropolitan Video-on-Demand Systems
We investigate a novel multicast technique, called Skyscraper Broadcasting (SB), for video-on-demand applications. We discuss the data fragmentation technique, the broadcasting st...
Kien A. Hua, Simon Sheu
SCP
2010
172views more  SCP 2010»
15 years 5 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier