11716 search results - page 352 / 2344 » Computable symbolic dynamics |
173
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
141
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
164
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
170
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
180
click to vote
PDPTA
2007
15 years 8 months ago
2007
- Multi-core chips present a new computing environment that can benefit from software support for non-numerical applications. Heterogeneous cores will allow efficient sophisticated...