8109 search results - page 353 / 1622 » A Model of Component-Based Programming |
190
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
170
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
199
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
141
click to vote
EUROGP
2004
Springer
16 years 4 days ago
2004
Springer
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
155
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...