9626 search results - page 1644 / 1926 » Invariant Based Programming |
172
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
168
click to vote
VLSM
2005
Springer
16 years 3 days ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
165
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
168
click to vote
ASPDAC
2004
ACM
16 years 2 days ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
168
click to vote
CASES
2004
ACM
16 years 2 days ago
2004
ACM
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...