914 search results - page 119 / 183 » Knowledge Management in Software Engineering - Describing th... |
154
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
121
Voted
SCOPES
2005
Springer
15 years 9 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
113
Voted
GROUP
2003
ACM
15 years 8 months ago
2003
ACM
Software development is typically cooperative endeavor where a group of engineers need to work together to achieve a common, coordinated result. As a cooperative effort, it is esp...
120
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
138
Voted
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
To improve the performance of transactional memory (TM), researchers have found many eager and lazy optimizations for conflict detection, the process of determining if transaction...