Sciweavers

4151 search results - page 274 / 831
» Language Driven System Design
Sort
View
ENTCS
2006
112views more  ENTCS 2006»
15 years 4 months ago
Synchronous Dataflow Pattern Matching
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
Grégoire Hamon
ISOLA
2010
Springer
15 years 2 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
MICRO
2008
IEEE
114views Hardware» more  MICRO 2008»
15 years 10 months ago
Toward a multicore architecture for real-time ray-tracing
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
Venkatraman Govindaraju, Peter Djeu, Karthikeyan S...
141
Voted
CONTEXT
2007
Springer
15 years 10 months ago
MDD Approach for the Development of Context-Aware Applications
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
Dhouha Ayed, Didier Delanote, Yolande Berbers
131
Voted
WSC
2007
15 years 6 months ago
System and simulation modeling using SysML
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
Edward Huang, Randeep Ramamurthy, Leon F. McGinnis