968 search results - page 72 / 194 » A faster implementation of APlace |
154
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
136
click to vote
NCA
2005
IEEE
15 years 9 months ago
2005
IEEE
Datacenters are complex environments consisting of thousands of failure-prone commodity components connected by fast, high-capacity interconnects. The software running on such dat...
115
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
Security is one of the most important features for Grid services. There are several specifications used to add security to Grid services, and some of them have been implemented a...
116
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
139
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...