3357 search results - page 467 / 672 » On the Use of Process Trails to Understand Software Developm... |
155
click to vote
SEUS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
157
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
147
click to vote
IIWAS
2004
15 years 7 months ago
2004
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
161
click to vote
SPLC
2004
15 years 7 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
161
click to vote
TRIDENTCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...