Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
29082
search results - page 365 / 5817
»
The Time-Triggered Model of Computation
Sort
relevance
views
votes
recent
update
View
thumb
title
129
click to vote
HPDC
1997
IEEE
89
views
Distributed And Parallel Com...
»
more
HPDC 1997
»
A Parallel Workload Model and its Implications for Processor Allocation
15 years 11 months ago
Download
www.eecs.berkeley.edu
Allen B. Downey
claim paper
Read More »
124
click to vote
SCCC
1997
IEEE
77
views
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 »
162
click to vote
DAC
1997
ACM
98
views
Computer Architecture
»
more
DAC 1997
»
High-Level Power Modeling, Estimation, and Optimization
15 years 11 months ago
Download
atrak.usc.edu
Enrico Macii, Massoud Pedram, Fabio Somenzi
claim paper
Read More »
133
click to vote
SAC
1997
ACM
109
views
Applied Computing
»
more
SAC 1997
»
A formal model for the discrete representation of spatial objects
15 years 11 months ago
Download
www.mat.uniroma2.it
Francesca Coppa, Enrico Nardelli, Maurizio Talamo
claim paper
Read More »
157
click to vote
ICNP
1996
IEEE
83
views
Computer Networks
»
more
ICNP 1996
»
Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines
15 years 11 months ago
Download
www.ieee-icnp.org
Hong Liu, Raymond E. Miller
claim paper
Read More »
« Prev
« First
page 365 / 5817
Last »
Next »
