621 search results - page 97 / 125 » Reuse of software in distributed embedded automotive systems |
221
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
142
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
160
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the gSOAP stub and skeleton compiler. The compiler provides a unique SOAP-to-C/C++ language binding for deploying C/C++ applications in SOAP Web Services, clie...
149
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
208
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...