Sciweavers

5325 search results - page 769 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
HIPEAC
2009
Springer
15 years 10 months ago
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
Lee W. Howes, Anton Lokhmotov, Alastair F. Donalds...
ATAL
2004
Springer
15 years 10 months ago
Generating Coalition Structures with Finite Bound from the Optimal Guarantees
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
Viet Dung Dang, Nicholas R. Jennings
ACSAC
2001
IEEE
15 years 10 months ago
Information Security: Science, Pseudoscience, and Flying Pigs
The state of the science of information security is astonishingly rich with solutions and tools to incrementally and selectively solve the hard problems. In contrast, the state of...
Roger R. Schell
KES
2000
Springer
15 years 10 months ago
A context based approach to acquisition and utilization of personal knowledge for WWW browsing
: Our personal knowledge plays a vital role in our daily intellectual work. This paper proposes a method for acquiring and utilizing our personal knowledge in computer systems. We ...
Tom Takashiro, Hideaki Takeda
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 8 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...