Sciweavers

2810 search results - page 348 / 562
» Contract-Based Component System Design
Sort
View
ISBI
2006
IEEE
15 years 9 months ago
Demonstration of video-rate diffuse optical tomography in phantoms and tissues
Near-infrared diffuse optical tomography has been demonstrated with video rate acquisition of the transmitted signal for 8 sources and 8 detectors. The system design is outlined w...
Brian W. Pogue, Daqing Piao, Hamid Dehghani, Keith...
ASPDAC
2000
ACM
108views Hardware» more  ASPDAC 2000»
15 years 7 months ago
System-in-package (SIP): challenges and opportunities
Abstract - In this paper, we propose the concept of System-InPackage (SIP) as a generalization of System-On-Chip (SOC). System-In-Package overcomes formidable integration barriers ...
King L. Tai
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 7 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ICEGOV
2007
ACM
15 years 6 months ago
Semantic frameworks for e-government
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
Charles Crichton, Jim Davies, Jeremy Gibbons, Stev...
WSC
2007
15 years 5 months ago
ExtendSim 7
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
David Krahl