3454 search results - page 358 / 691 » Modern computer algebra |
164
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...
180
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
The complexity of modern mobile phones makes it difficult for developers to understand the power consumption of their applications. Our measurement framework produces fine-graine...
175
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
226
Voted
IEEESCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
181
click to vote
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Variable-Length Encoding (VLE) is a process of reducing input data size by replacing fixed-length data words with codewords of shorter length. As VLE is one of the main building bl...