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
4434
search results - page 101 / 887
»
On the Composition of Hybrid Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
117
click to vote
CPC
2002
56
views
more
CPC 2002
»
Constructing Large Set Systems With Given Intersection Sizes Modulo Composite Numbers
15 years 6 months ago
Download
people.cs.uchicago.edu
Samuel Kutin
claim paper
Read More »
132
click to vote
JETAI
2000
96
views
more
JETAI 2000
»
Abstraction and composition: a verification method for co-operating systems
15 years 6 months ago
Download
sit.sit.fraunhofer.de
Peter Ochsenschläger, Jürgen Repp, Rolan...
claim paper
Read More »
125
click to vote
TOPLAS
1998
55
views
more
TOPLAS 1998
»
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
15 years 6 months ago
Download
www.cparity.com
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
claim paper
Read More »
136
click to vote
TPDS
2002
53
views
more
TPDS 2002
»
Optimal Tree Access by Elementary and Composite Templates in Parallel Memory Systems
15 years 6 months ago
Download
www1.isti.cnr.it
Vincenzo Auletta, Sajal K. Das, Amelia De Vivo, Ma...
claim paper
Read More »
103
click to vote
ICRA
2010
IEEE
95
views
Robotics
»
more
ICRA 2010
»
Robust by composition: Programs for multi-robot systems
15 years 4 months ago
Download
soslab.ee.washington.edu
Nils Napp, Eric Klavins
claim paper
Read More »
« Prev
« First
page 101 / 887
Last »
Next »
