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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2681
search results - page 30 / 537
»
Topics in asynchronous systems
Sort
relevance
views
votes
recent
update
View
thumb
title
20
click to vote
DAC
2003
ACM
136
views
Computer Architecture
»
more
DAC 2003
»
High-level synthesis of asynchronous systems by data-driven decomposition
14 years 9 months ago
Download
www.async.caltech.edu
Catherine G. Wong, Alain J. Martin
claim paper
Read More »
19
click to vote
ICCAD
2006
IEEE
106
views
Hardware
»
more
ICCAD 2006
»
Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens
14 years 5 months ago
Download
www.cecs.uci.edu
Manoj Ampalam, Montek Singh
claim paper
Read More »
14
click to vote
SOFSEM
2009
Springer
77
views
Theoretical Computer Science
»
more
SOFSEM 2009
»
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
14 years 5 months ago
Download
www.ksi.mff.cuni.cz
Thomas Chatain, Paul Gastin, Nathalie Sznajder
claim paper
Read More »
29
click to vote
ACRI
2008
Springer
127
views
Artificial Intelligence
»
more
ACRI 2008
»
Examples of Fast and Slow Convergence of 2D Asynchronous Cellular Systems
14 years 3 months ago
Download
www.iecn.u-nancy.fr
This article studies the convergence properties of some 2D cellular automata, when a single cell is updated at random at each time step. We tackle this question for a particular s...
Nazim Fatès, Lucas Gerin
claim paper
Read More »
16
click to vote
APSEC
2002
IEEE
92
views
Software Engineering
»
more
APSEC 2002
»
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
14 years 1 months ago
Download
www.win.tue.nl
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
claim paper
Read More »
« Prev
« First
page 30 / 537
Last »
Next »