Sciweavers

691 search results - page 104 / 139
» Programming Open Systems with Agents, Environments and Organ...
Sort
View
COMPULOG
1999
Springer
14 years 7 days ago
Dynamic Constraint Models for Planning and Scheduling Problems
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...
Roman Barták
TOOLS
1998
IEEE
14 years 6 days ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
LCTRTS
2007
Springer
14 years 2 months ago
Integrated CPU and l2 cache voltage scaling using machine learning
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
Nevine AbouGhazaleh, Alexandre Ferreira, Cosmin Ru...
SIGCSE
2005
ACM
113views Education» more  SIGCSE 2005»
14 years 1 months ago
Learning by doing: introducing version control as a way to manage student assignments
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
Karen L. Reid, Gregory V. Wilson
CACM
2010
97views more  CACM 2010»
13 years 5 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao