3765 search results - page 494 / 753 » Formal Methods for Systems Engineering Behavior Models |
173
click to vote
IJVR
2008
15 years 6 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
224
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
163
click to vote
ICSOC
2007
Springer
16 years 24 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
159
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...