429 search results - page 35 / 86 » Symbolic Computation Software Composability |
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
ALGORITHMICA
1999
13 years 8 months ago
1999
We describe a coarse-grain parallel software system for the homogeneous solution of linear systems. Our solutions are symbolic, i.e., exact rather than numerical approximations. O...
IIE
2007
13 years 8 months ago
2007
A web application has been developed using the Microsoft .NET technology, which allows to use the Mathematica software from any personal computer connected to Internet. It is not n...
PODC
2010
ACM
14 years 20 days ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide a location-d...