Sciweavers

5900 search results - page 33 / 1180

» Dependable Systems

136

SI3D
1997
ACM

99views Computer Graphics» more SI3D 1997»

View-Dependent Culling of Dynamic Systems in Virtual Environments

15 years 10 months ago

View-Dependent Culling of Dynamic Systems in Virtual Environments

Download www.cs.princeton.edu

Stephen Chenney, David A. Forsyth

claim paper

Read More »

109

Voted

ATAL
2009
Springer

95views Intelligent Agents» more ATAL 2009»

Temporal dependence networks for the design of convivial multiagent systems

15 years 10 months ago

Temporal dependence networks for the design of convivial multiagent systems

Download www.aamas-conference.org

Patrice Caire, Leendert van der Torre

claim paper

Read More »

169

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 10 months ago

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

134

ASPDAC
2008
ACM

91views Hardware» more ASPDAC 2008»

Automatic generation of hardware dependent software for MPSoCs from abstract system specifications

15 years 8 months ago

Automatic generation of hardware dependent software for MPSoCs from abstract system specifications

Download users.ece.utexas.edu

Gunar Schirner, Andreas Gerstlauer, Rainer Dö...

claim paper

Read More »

162

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

15 years 8 months ago

Dependable Systems

Download dmi.uib.es

André Schiper

claim paper

Read More »

« Prev « First page 33 / 1180 Last » Next »