Sciweavers

3868 search results - page 504 / 774
» Open Systems in TLA
Sort
View
IPPS
2008
IEEE
16 years 1 months ago
Implementing an industrial-strength academic cyberinfrastructure at Purdue University
Purdue University operates one of the largest cycle recovery systems in existence in academia based on the Condor workload management system. This system represents a valuable and...
Preston M. Smith, Thomas J. Hacker, C. X. Song
EDOC
2007
IEEE
16 years 1 months ago
Survey of Traceability Approaches in Model-Driven Engineering
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
Ismênia Galvão, Arda Goknil
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
16 years 29 days ago
Decidability of Motion Planning with Differential Constraints
— Classical path planning does not address many of the challenges of robotic systems subject to differential constraints. While there have been many recent efforts to develop mot...
Peng Cheng, George J. Pappas, Vijay Kumar
IPPS
2007
IEEE
16 years 28 days ago
Static-Priority Scheduling and Resource Hold Times
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
Marko Bertogna, Nathan Fisher, Sanjoy K. Baruah
MEMOCODE
2007
IEEE
16 years 28 days ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...