Sciweavers

3335 search results - page 103 / 667
» A Unified Approach to Modeling and Programming
Sort
View
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
15 years 8 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
DSRT
2008
IEEE
16 years 25 days ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
IJSYSC
2006
113views more  IJSYSC 2006»
15 years 6 months ago
Neural network approach to collision free path-planning for robotic manipulators
: The paper deals with collision free path planning for industrial robotic manipulators. A new efficient algorithm is proposed that is based on a topologically ordered neural netwo...
Anatoly Pashkevich, M. Kazheunikau, A. E. Ruano
SOFTVIS
2005
ACM
15 years 12 months ago
Exploiting UML dynamic object modeling for the visualization of C++ programs
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
Brian A. Malloy, James F. Power
FASE
2006
Springer
15 years 10 months ago
Concerned About Separation
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Ham...