Sciweavers

2500 search results - page 266 / 500
» Specifying Behavior in C
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 4 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
TOG
2008
142views more  TOG 2008»
15 years 4 months ago
Fast animation of turbulence using energy transport and procedural synthesis
We present a novel technique for the animation of turbulent fluids by coupling a procedural turbulence model with a numerical fluid solver to introduce subgrid-scale flow detail. ...
Rahul Narain, Jason Sewall, Mark Carlson, Ming C. ...
TON
1998
80views more  TON 1998»
15 years 4 months ago
Blocking and nonblocking multirate Clos switching networks
— This paper investigates in detail the blocking and nonblocking behavior of multirate Clos switching networks at the connection/virtual connection level. The results are applica...
Soung C. Liew, Ming-Hung Ng, Cathy W. Chan
SIGSOFT
2010
ACM
15 years 2 months ago
Software economies
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A...
HCI
2009
15 years 2 months ago
Seeing the World through an Expert's Eyes: Context-Aware Display as a Training Companion
Responsive Adaptive Display Anticipates Requests (RADAR) is a domain general system that learns to highlight an individual's preferred information displays, given the current ...
Marc T. Tomlinson, Michael Howe, Bradley C. Love