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
679
search results - page 8 / 136
»
hybrid 2010
Sort
relevance
views
votes
recent
update
View
thumb
title
109
click to vote
JIPS
2010
156
views
more
JIPS 2010
»
A Hybrid Approach for Regression Testing in Interprocedural Program
15 years 17 days ago
Download
jips-k.org
Yogesh Singh, Arvinder Kaur, Bharti Suri
claim paper
Read More »
78
click to vote
JISE
2010
60
views
more
JISE 2010
»
An Efficient Handoff Protocol for Causal Ordering Group Communication in Wireless Hybrid Networks
15 years 17 days ago
Download
www.iis.sinica.edu.tw
Chih-Ming Hsiao, Ge-Ming Chiu
claim paper
Read More »
118
click to vote
JSCIC
2010
72
views
more
JSCIC 2010
»
Higher-order Finite Elements for Hybrid Meshes Using New Nodal Pyramidal Elements
15 years 16 days ago
Download
hal.archives-ouvertes.fr
Morgane Bergot, Gary Cohen, Marc Duruflé
claim paper
Read More »
133
click to vote
TCAD
2010
111
views
more
TCAD 2010
»
Combining Control and Data Abstraction in the Verification of Hybrid Systems
15 years 14 days ago
Download
pop-art.inrialpes.fr
Xavier Briand, Bertrand Jeannet
claim paper
Read More »
148
click to vote
ENTCS
2007
117
views
more
ENTCS 2007
»
Relating Hybrid Chi to Other Formalisms
15 years 5 months ago
Download
www.mate.tue.nl
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
claim paper
Read More »
« Prev
« First
page 8 / 136
Last »
Next »