Sciweavers

8928 search results - page 1577 / 1786
» Modeling Current Events
Sort
View
103
Voted
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 3 months ago
Pathways: Augmenting interoperability across scholarly repositories
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaomi...
142
Voted
CSUR
2006
147views more  CSUR 2006»
15 years 3 months ago
A survey of research and practices of Network-on-chip
resents a perspective on existing NoC research. We define the following abstractions: system, network adapter, network, and link to explain and structure the fundamental concepts. ...
Tobias Bjerregaard, Shankar Mahadevan
DC
2006
15 years 3 months ago
Dynamic group communication
Group communication is the basic infrastructure for implementing fault-tolerant replicated servers. While group communication is well understood in the context of static systems (...
André Schiper
141
Voted
IJAIT
2008
99views more  IJAIT 2008»
15 years 3 months ago
Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraint Programming
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction sch...
Abid M. Malik, Jim McInnes, Peter van Beek
133
Voted
ENTCS
2006
145views more  ENTCS 2006»
15 years 3 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
« Prev « First page 1577 / 1786 Last » Next »