Sciweavers

3365 search results - page 379 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
DAC
2008
ACM
16 years 7 months ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...
MM
2005
ACM
101views Multimedia» more  MM 2005»
16 years 7 days ago
SmallConnection: designing of tangible communication media over networks
The concept of “SmallConnection (abbr. SC)” is creating easy to operate tangible media for communication over networks. Focusing on the scenario where two intimate people live...
Hideaki Ogawa, Noriaki Ando, Satoshi Onodera
JCDL
2011
ACM
226views Education» more  JCDL 2011»
14 years 9 months ago
Measuring historical word sense variation
We describe here a method for automatically identifying word sense variation in a dated collection of historical books in a large digital library. By leveraging a small set of kno...
David Bamman, Gregory Crane
ER
1999
Springer
196views Database» more  ER 1999»
15 years 11 months ago
A Process-Integrated Conceptual Design Environment for Chemical Engineering
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
Matthias Jarke, Thomas List, Klaus Weidenhaupt
DAC
2009
ACM
16 years 7 months ago
Computing bounds for fault tolerance using formal techniques
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
André Sülflow, Görschwin Fey, Rol...