234 search results - page 26 / 47 » Experience in Implementing a Learning Software Organization |
106
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
125
click to vote
SIGUCCS
2005
ACM
15 years 7 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...
106
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
173
click to vote
ACMSE
2011
ACM
14 years 1 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...