Searching for authors named "Carlos Puchol" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Achieving High Performance Sonar-Based Wall-Following
- …ACHIEVING HIGH PERFORMANCE SONAR-BASED WALL-FOLLOWING Carlos Puchol Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
An Operational Semantics and a Compiler for Modechart Specifications
- …An Operational Semantics and a Compiler for Modechart Specifications Carlos Puchol , Douglas A…
- Cited by 2 (0 self) – Add To MetaCart
-
A Solution to the Generalized Railroad Crossing Problem in ESTEREL
- …A Solution to the Generalized Railroad Crossing Problem in ESTEREL Carlos Puchol Department…
- Cited by 2 (1 self) – Add To MetaCart
-
Integrated Design Tools for Hard Real-time Systems
- …Integrated Design Tools for Hard Real-time Systems Carlos Puchol Software Production Research…
- Add To MetaCart
-
Integrated Design Tools for Hard Real-time Systems
- …Integrated Design Tools for Hard Real-time Systems Carlos Puchol Software Production Research…
- Cited by 2 (0 self) – Add To MetaCart
-
An Automation-Based Design Methodology for Distributed, Hard Real-Time Systems
- …Copyright by Carlos Miguel Puchol 1998 An Automation-Based Design Methodolgy for Distributed, Hard…
- Add To MetaCart
-
Compiling Modechart Specifications
- … Specifications Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart Department of Computer Sciences…
- Cited by 9 (6 self) – Add To MetaCart
-
An Operational Semantics and Compiler for Real-Time Specifications
- …, Please Do Not Distribute) Carlos Puchol, Douglas A. Stuart and Aloysius K. Mok fcpg…
- Cited by 3 (1 self) – Add To MetaCart
-
The Semantics of Triveni: A Process-Algebraic API for Threads + Events
- … Lalita Jategaonkar Jagadeesan y Radha Jagadeesan Konstantin L aufer Carlos Puchol May 17, 1998 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events
- … + Events Lalita Jategaonkar Jagadeesan ¡ Konstantin Läufer Carlos Puchol ¡ Department of Math and CS…
- Cited by 8 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
