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
15840
search results - page 493 / 3168
»
The Control of Synchronous Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
135
click to vote
FLOPS
2010
Springer
246
views
Automated Reasoning
»
more
FLOPS 2010
»
Delimited Control in OCaml, Abstractly and Concretely: System Description
16 years 1 months ago
Download
okmij.org
Oleg Kiselyov
claim paper
Read More »
123
click to vote
CEC
2009
IEEE
91
views
Artificial Intelligence
»
more
CEC 2009
»
Robustness analysis of evolutionary controller tuning using real systems
16 years 1 months ago
Download
www.cci.dmu.ac.uk
Mario A. Góngora, Benjamin N. Passow, Adria...
claim paper
Read More »
152
click to vote
ICECCS
2009
IEEE
116
views
Hardware
»
more
ICECCS 2009
»
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
16 years 1 months ago
Download
www.artist-embedded.org
Fateh Boutekkouk, Mohamed Benmohammed
claim paper
Read More »
133
click to vote
GECCO
2009
Springer
99
views
Optimization
»
more
GECCO 2009
»
Evolved finite state controller for hybrid system
16 years 1 months ago
Download
www.meeting.edu.cn
Jean-François Dupuis, Zhun Fan, Erik D. Goo...
claim paper
Read More »
160
click to vote
ICFEM
2009
Springer
114
views
Software Engineering
»
more
ICFEM 2009
»
European Train Control System: A Case Study in Formal Verification
16 years 1 months ago
Download
www.avacs.org
André Platzer, Jan-David Quesel
claim paper
Read More »
« Prev
« First
page 493 / 3168
Last »
Next »
