Sciweavers

2841 search results - page 32 / 569
» A Call to Order
Sort
View
LICS
2007
IEEE
15 years 4 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
ECML
2007
Springer
15 years 3 months ago
Separating Precision and Mean in Dirichlet-Enhanced High-Order Markov Models
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
Rikiya Takahashi
INFOCOM
2002
IEEE
15 years 2 months ago
Maintaining Packet Order In Two-stage Switches
-- High performance packet switches frequently use a centralized scheduler (also known as an arbiter) to determine the configuration of a non-blocking crossbar. The scheduler often...
Isaac Keslassy, Nick McKeown
VISUALIZATION
2002
IEEE
15 years 2 months ago
A New Object-Order Ray-Casting Algorithm
Many direct volume rendering algorithms have been proposed during the last decade to render 2563 voxels interactively. However a lot of limitations are inherent to all of them, li...
Benjamin Mora, Jean-Pierre Jessel, René Cau...
CCGRID
2001
IEEE
15 years 1 months ago
OVM: Out-of-Order Execution Parallel Virtual Machine
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
George Bosilca, Gilles Fedak, Franck Cappello