Sciweavers

928 search results - page 62 / 186
» Towards Design Space Exploration for Biological Systems
Sort
View
FQAS
2006
Springer
109views Database» more  FQAS 2006»
15 years 10 months ago
Towards a Flexible Visualization Tool for Dealing with Temporal Data
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
Guy De Tré, Nico Van de Weghe, Rita M. M. D...
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
IUI
2005
ACM
15 years 12 months ago
Interfaces for networked media exploration and collaborative annotation
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
Preetha Appan, Bageshree Shevade, Hari Sundaram, D...
DAC
2011
ACM
14 years 6 months ago
Synchronous sequential computation with molecular reactions
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
Hua Jiang, Marc D. Riedel, Keshab K. Parhi
ESCIENCE
2007
IEEE
16 years 19 days ago
Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
Liangxiu Han, Asen Asenov, Dave Berry, Campbell Mi...