15253 search results - page 267 / 3051 » Integer-Programming Software Systems |
195
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
179
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
135
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...
202
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
148
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...