4770 search results - page 509 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
212
click to vote
CHI
2005
ACM
15 years 9 months ago
2005
ACM
Diagnosis, treatment, and monitoring of interventions for children with autism can profit most when caregivers have substantial amounts of data they can easily record and review a...
379
click to vote
PLDI
2009
ACM
16 years 8 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
210
click to vote
ICSR
2004
Springer
16 years 28 days ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
175
click to vote
LAWEB
2005
IEEE
16 years 1 months ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
186
click to vote
MKM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...