746 search results - page 115 / 150 » Formal Analysis of UML-Based Designs |
132
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
163
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
145
click to vote
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
139
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
132
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...