7839 search results - page 266 / 1568 » What's there and what's not |
110
click to vote
CSEE
2009
Springer
15 years 8 months ago
2009
Springer
Advancing Software Engineering (SwE) through Education takes not only commitment and understanding of some key principals, but also requires a tight integration with technologies ...
107
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Costas array enumeration is an NP-complete problem with a highly parallelize-able solution. This paper examines the implementation of a solution to this problem on an F...
115
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
110
click to vote
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Salesforce.com has recently completed an agile transformation of a two hundred person team within a three month window. This is one of the largest and fastest “big-bang” agile...