859 search results - page 147 / 172 » Explaining Synthesized Software |
ACMSE
2000
ACM
14 years 1 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
CIA
2000
Springer
14 years 29 days ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
FPL
1999
Springer
14 years 27 days ago
1999
Springer
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
HICSS
1998
IEEE
14 years 27 days ago
1998
IEEE
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. Industrial experien...
ROBOCUP
1999
Springer
14 years 27 days ago
1999
Springer
This paper briefly describes the design principles of the hardware and software of 5dpo-2000 team. An evolutive approach is presented as the robots are constantly being improved wi...