2409 search results - page 393 / 482 » Logical systems for structured specifications |
152
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
131
Voted
IJIT
2004
15 years 5 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...
111
Voted
AAAI
1996
15 years 5 months ago
1996
Past work in navigation has worked toward the goal of producing an accurate map of the environment. While no one can deny the usefulness of such a map, the ideal of producing a co...
114
Voted
CIDR
2009
15 years 4 months ago
2009
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer t...
79
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...