4887 search results - page 911 / 978 » System Level Design Using C |
MOBIDE
2005
ACM
15 years 8 months ago
2005
ACM
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
128
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
118
click to vote
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
126
click to vote
ASPLOS
1989
ACM
15 years 6 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
152
click to vote
SENSYS
2010
ACM
15 years 9 days ago
2010
ACM
Supporting continuous sensing applications on mobile phones is challenging because of the resource demands of long-term sensing, inference and communication algorithms. We present...