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
5863
search results - page 279 / 1173
»
On Model-Checking of P Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
183
click to vote
HYBRID
2010
Springer
156
views
Control Systems
»
more
HYBRID 2010
»
Succinct discrete time approximations of distributed hybrid automata
16 years 2 months ago
Download
www2.ee.kth.se
P. S. Thiagarajan, Shaofa Yang
claim paper
Read More »
145
click to vote
RTSS
1990
IEEE
104
views
Control Systems
»
more
RTSS 1990
»
A Stack-Based Resource Allocation Policy for Realtime Processes
15 years 11 months ago
Download
www.cs.cmu.edu
Theodore P. Baker
claim paper
Read More »
121
click to vote
CASES
2001
ACM
110
views
System Software
»
more
CASES 2001
»
An empirical evaluation of high level transformations for embedded processors
15 years 11 months ago
Download
homepages.inf.ed.ac.uk
Björn Franke, Michael F. P. O'Boyle
claim paper
Read More »
122
click to vote
CDC
2009
IEEE
117
views
Control Systems
»
more
CDC 2009
»
Zero-error function computation in sensor networks
15 years 10 months ago
Download
maascom.ece.ohio-state.edu
Hemant Kowshik, P. R. Kumar
claim paper
Read More »
145
click to vote
USENIX
1994
101
views
Operating System
»
more
USENIX 1994
»
Thwarting the Power-Hungry Disk
15 years 8 months ago
Download
www.usenix.org
Fred Douglis, P. Krishnan, Brian Marsh
claim paper
Read More »
« Prev
« First
page 279 / 1173
Last »
Next »
