Search Sciweavers | Sciweavers

29046 search results - page 317 / 5810

» Computable Models

124

click to vote

SCCC
1997
IEEE

77views Theoretical Computer Science» more SCCC 1997»

Hyperstories: A Model to Specify and Design Interactive Educational Stories

15 years 11 months ago

Download www.dcc.uchile.cl

Mauricio Lumbreras, Jaime Sánchez

claim paper

Read More »

158

click to vote

DAC
1997
ACM

98views Computer Architecture» more DAC 1997»

High-Level Power Modeling, Estimation, and Optimization

15 years 10 months ago

Download atrak.usc.edu

Enrico Macii, Massoud Pedram, Fabio Somenzi

claim paper

Read More »

129

click to vote

SAC
1997
ACM

109views Applied Computing» more SAC 1997»

A formal model for the discrete representation of spatial objects

15 years 10 months ago

Download www.mat.uniroma2.it

Francesca Coppa, Enrico Nardelli, Maurizio Talamo

claim paper

Read More »

156

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 10 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

128

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers