7225 search results - page 366 / 1445 » Software is data too |
185
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
184
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
238
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
180
click to vote
SIGSOFT
2006
ACM
16 years 23 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
180
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
The body of literature on SMEs suggest that all SMEs seem to go through different life cycles, and while the terms used by different authors may vary, the events that govern them ...