Sciweavers

3130 search results - page 94 / 626
» Design Correctness of Digital Systems
Sort
View
121
Voted
CHI
2011
ACM
14 years 7 months ago
The reading desk: applying physical interactions to digital documents
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...
Jennifer Pearson, George Buchanan, Harold W. Thimb...
DATE
2002
IEEE
86views Hardware» more  DATE 2002»
15 years 8 months ago
A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
JoAnn M. Paul, Donald E. Thomas
164
Voted
SMC
2007
IEEE
125views Control Systems» more  SMC 2007»
15 years 9 months ago
Scaling with digital connection: Services innovation
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
Cheng Hsu
IROS
2008
IEEE
132views Robotics» more  IROS 2008»
15 years 10 months ago
Digital representation of everyday objects in a robot ecology via proxies
Abstract— Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. Unfortunately, very simple devices like ta...
Md. Jayedur Rashid, Mathias Broxvall, Alessandro S...
140
Voted
APCSAC
2003
IEEE
15 years 8 months ago
Arithmetic Circuits Combining Residue and Signed-Digit Representations
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...
Anders Lindström, Michael Nordseth, Lars Beng...