6197 search results - page 911 / 1240 » Sandbridge Software Tools |
181
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
187
Voted
FASE
2005
Springer
16 years 8 days ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
166
click to vote
ICSOC
2005
Springer
16 years 8 days ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
170
click to vote
MRCO
2005
Springer
16 years 7 days ago
2005
Springer
A new computing era after Mainframes, PC’s and mobiles is becoming more and more anticipated since the beginning of the 21st century. This new era is often described with several...
164
click to vote
SPIN
2005
Springer
16 years 7 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...