Sciweavers

3130 search results - page 101 / 626
» Design Correctness of Digital Systems
Sort
View
131
Voted
FMSD
2006
183views more  FMSD 2006»
15 years 3 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
CCS
1994
ACM
15 years 7 months ago
The Design and Implementation of Tripwire: A File System Integrity Checker
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
Gene H. Kim, Eugene H. Spafford
120
Voted
DSS
2007
140views more  DSS 2007»
15 years 3 months ago
A decision support system for product design in concurrent engineering
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
Li Da Xu, Zongbin Li, Shancang Li, Fengming Tang
143
Voted
EL
2008
184views more  EL 2008»
15 years 3 months ago
Breedbot: an evolutionary robotics application in digital content
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
Orazio Miglino, Onofrio Gigliotta, Michela Pontico...
151
Voted
MM
2010
ACM
164views Multimedia» more  MM 2010»
15 years 2 months ago
Visual search applications for connecting published works to digital material
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
Jamey Graham, Jorge Moraleda, Jonathan J. Hull, Ti...