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
3387
search results - page 131 / 678
»
Model-Checking for Real-Time Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
142
click to vote
ISSTA
1996
ACM
106
views
Software Engineering
»
more
ISSTA 1996
»
An Efficient State Space Generation for Analysis of Real-Time Systems
15 years 11 months ago
Download
ftp.cis.upenn.edu
Inhye Kang, Insup Lee
claim paper
Read More »
164
click to vote
OFAI
1997
Springer
128
views
Robotics
»
more
OFAI 1997
»
IMPROV: A System for Real-Time Animation of Behavior-Based Interactive Synthetic Actors
15 years 11 months ago
Download
www.athomasgoldberg.com
Athomas Goldberg
claim paper
Read More »
142
click to vote
HICSS
1994
IEEE
107
views
Biometrics
»
more
HICSS 1994
»
On Real-Time Distributed Geographical Database Systems
15 years 11 months ago
Download
www.uctc.net
Manhoi Choy, Mei-Po Kwan, Hong Va Leong
claim paper
Read More »
153
click to vote
ICDCS
1993
IEEE
89
views
Distributed And Parallel Com...
»
more
ICDCS 1993
»
Deadline Assignment in a Distributed Soft Real-Time System
15 years 11 months ago
Download
infolab.stanford.edu
Ben Kao, Hector Garcia-Molina
claim paper
Read More »
146
click to vote
IPPS
1994
IEEE
85
views
Distributed And Parallel Com...
»
more
IPPS 1994
»
Fault-Tolerant Scheduling on a Hard Real-Time Multiprocessor System
15 years 11 months ago
Download
www.csee.umbc.edu
Sunondo Ghosh, Rami G. Melhem, Daniel Mossé
claim paper
Read More »
« Prev
« First
page 131 / 678
Last »
Next »
