Sciweavers

10934 search results - page 1897 / 2187
» High performance computing and communications
Sort
View
ATAL
1997
Springer
15 years 10 months ago
Approximate Reasoning about Combined Knowledge
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
Frédéric Koriche
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ISCA
1992
IEEE
113views Hardware» more  ISCA 1992»
15 years 10 months ago
Dynamic Dependency Analysis of Ordinary Programs
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
Todd M. Austin, Gurindar S. Sohi
EMNETS
2007
15 years 10 months ago
Acoustic laptops as a research enabler
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
Michael Allen, Lewis Girod, Deborah Estrin
GLVLSI
2007
IEEE
166views VLSI» more  GLVLSI 2007»
15 years 10 months ago
Efficient pipelining for modular multiplication architectures in prime fields
This paper presents a pipelined architecture of a modular Montgomery multiplier, which is suitable to be used in public key coprocessors. Starting from a baseline implementation o...
Nele Mentens, Kazuo Sakiyama, Bart Preneel, Ingrid...
« Prev « First page 1897 / 2187 Last » Next »