3040 search results - page 203 / 608 » Synergetic Tool Environments |
148
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
130
click to vote
LISA
2008
15 years 7 months ago
2008
The increased use of virtual machines in the enterprise environment presents an interesting new set of challenges for the administrators of today's information systems. In ad...
131
Voted
WSC
2007
15 years 7 months ago
2007
Effective use of machines and headcounts is essential in manufacturing for high return of investment from expensive resources in today’s competitive business environment. It is ...
124
click to vote
IADIS
2008
15 years 6 months ago
2008
Moodle is one of the most extended Learning Management Systems and is based on the open source (GPL) license agreement. We summarize the advantages of the use of this environment ...
174
click to vote
ASPLOS
2012
ACM
14 years 22 days ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...