1922 search results - page 108 / 385 » Systems biology, models, and concurrency |
110
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
TOOLS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
115
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
108
click to vote
ISMAR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
128
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...