7080 search results - page 858 / 1416 » Designing High Integrity Systems Using Aspects |
185
click to vote
JETAI
2000
15 years 7 months ago
2000
Human free will is a product of evolution and contributes to the success of the human animal. Useful robots will also require free will of a similar kind, and we will have to desi...
192
click to vote
MDM
2007
Springer
16 years 1 months ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
172
click to vote
ISPD
2006
ACM
16 years 1 months ago
2006
ACM
APlace is a high quality, scalable analytical placer. This paper describes our recent efforts to improve APlace for speed and scalability. We explore various wirelength and densi...
178
Voted
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
192
click to vote
VLDB
1987
ACM
15 years 11 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...