656 search results - page 113 / 132 » A Formalization of Transition P Systems |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
105
Voted
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
136
click to vote
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
139
click to vote
SCP
1998
15 years 5 hour ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...