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
20126
search results - page 228 / 4026
»
Timed Transition Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
133
click to vote
TIC
1998
Springer
90
views
System Software
»
more
TIC 1998
»
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
15 years 8 months ago
Download
www.brics.dk
Vincent Balat, Olivier Danvy
claim paper
Read More »
113
click to vote
RTSS
1994
IEEE
90
views
Control Systems
»
more
RTSS 1994
»
Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs
15 years 8 months ago
Download
rtds.cs.tamu.edu
Jyh-Charn Liu, Hung-ju Lee
claim paper
Read More »
110
click to vote
HOTOS
2009
IEEE
127
views
Operating System
»
more
HOTOS 2009
»
No Time for Asynchrony
15 years 8 months ago
Download
research.microsoft.com
Marcos Kawazoe Aguilera, Michael Walfish
claim paper
Read More »
105
click to vote
ECRTS
2004
IEEE
95
views
Embedded Systems
»
more
ECRTS 2004
»
Worst-Case Execution Time Analysis for Dynamic Branch Predictors
15 years 8 months ago
Download
www.cs.york.ac.uk
Iain Bate, Ralf Reutemann
claim paper
Read More »
100
click to vote
USENIX
2001
95
views
Operating System
»
more
USENIX 2001
»
Virtual-Time Round-Robin: An O(1) Proportional Share Scheduler
15 years 5 months ago
Download
www.ncl.cs.columbia.edu
Jason Nieh, Christopher Vaill, Hua Zhong
claim paper
Read More »
« Prev
« First
page 228 / 4026
Last »
Next »
