Sciweavers

469 search results - page 13 / 94
» Extended abstract: a race-free hardware modeling language
Sort
View
AICCSA
2006
IEEE
179views Hardware» more  AICCSA 2006»
15 years 5 months ago
Supporting the SPEM with a UML Extended Workflow Metamodel
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...
ICECCS
2010
IEEE
219views Hardware» more  ICECCS 2010»
14 years 12 months ago
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
Mickaël Kerboeuf, Alain Plantec, Frank Singho...
AIIDE
2009
15 years 25 days ago
Examining Extended Dynamic Scripting in a Tactical Game Framework
Dynamic scripting is a reinforcement learning algorithm designed specifically to learn appropriate tactics for an agent in a modern computer game, such as Neverwinter Nights. This...
Jeremy Ludwig, Arthur Farley
76
Voted
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
15 years 6 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
OOPSLA
2009
Springer
15 years 6 months ago
A concurrent dynamic analysis framework for multicore hardware
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, ...