Sciweavers

7103 search results - page 1116 / 1421
» Program Generation and Components
Sort
View
DAC
1999
ACM
15 years 8 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
MM
1999
ACM
133views Multimedia» more  MM 1999»
15 years 8 months ago
NoteLook: taking notes in meetings with digital video and ink
NoteLook is a client-server system designed and built to support multimedia note taking in meetings with digital video and ink. It is integrated into a conference room equipped wi...
Patrick Chiu, Ashutosh Kapuskar, Sarah Reitmeier, ...
ICCAD
1999
IEEE
97views Hardware» more  ICCAD 1999»
15 years 8 months ago
A methodology for correct-by-construction latency insensitive design
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
Luca P. Carloni, Kenneth L. McMillan, Alexander Sa...
CONCUR
1999
Springer
15 years 8 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
MSS
1999
IEEE
140views Hardware» more  MSS 1999»
15 years 8 months ago
Pursuit of a Scalable High Performance Multi-Petabyte Database
When the BaBar experiment at the Stanford Linear Accelerator Center starts in April 1999, it will generate approximately 200TB/year of data at a rate of 10MB/sec for 10 years. A m...
Andrew Hanushevsky, Marcia Nowark
« Prev « First page 1116 / 1421 Last » Next »