Sciweavers

1420 search results - page 182 / 284
» A combined functional and object-oriented approach to softwa...
Sort
View
CODES
2010
IEEE
15 years 4 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
RSP
2003
IEEE
15 years 11 months ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing
WICON
2008
15 years 7 months ago
Programming in mobile ad hoc networks
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
Justin Collins, Rajive Bagrodia
PRESENCE
2010
76views more  PRESENCE 2010»
15 years 1 months ago
Modularity for Large Virtual Reality Applications
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
Jérémie Allard, Jean-Denis Lesage, B...
IVC
2002
137views more  IVC 2002»
15 years 6 months ago
A color coding method for radiographic images
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
Xie-Qi Shi, Pehr Sällström, Ulf Welander