15155 search results - page 325 / 3031 » System Software |
150
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
198
click to vote
TSE
2008
15 years 6 months ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...
178
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
196
click to vote
IM
2007
15 years 8 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
200
Voted
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...