3307 search results - page 531 / 662 » The meaning of concurrent programs |
141
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
169
click to vote
CSFW
2008
IEEE
16 years 26 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
172
click to vote
ICSM
2008
IEEE
16 years 25 days ago
2008
IEEE
There exist numerous software visualization techniques that aim to facilitate program comprehension. One of the main concerns in every such software visualization is to identify r...
158
click to vote
ICTAI
2008
IEEE
16 years 25 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
151
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...