3441 search results - page 312 / 689 » Provenance of Software Development Processes |
161
click to vote
SIGMOD
2001
ACM
16 years 5 months ago
2001
ACM
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
145
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
178
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
135
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
133
Voted
FPGA
2006
ACM
15 years 8 months ago
2006
ACM
While previous research has shown that FPGAs can efficiently implement many types of computations, their flexibility inherently limits their clock rate. Several research groups ha...