7434 search results - page 1228 / 1487 » Still |
197
click to vote
VSTTE
2005
Springer
16 years 22 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
223
click to vote
WAOA
2005
Springer
16 years 22 days ago
2005
Springer
Given a graph with a source and a sink node, the NP–hard maximum k–splittable flow (MkSF) problem is to find a flow of maximum value with a flow decomposition using at most...
190
click to vote
ACMDIS
2004
ACM
16 years 21 days ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...
200
click to vote
ASPLOS
2004
ACM
16 years 21 days ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
206
click to vote
CASES
2004
ACM
16 years 21 days ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...