4770 search results - page 512 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
239
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
243
Voted
CASES
2003
ACM
16 years 24 days ago
2003
ACM
Bank locality can be defined as localizing the number of load/store accesses to a small set of memory banks at a given time. An optimizing compiler can modify a given input code t...
228
Voted
ATAL
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
189
Voted
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
194
Voted
SIGIR
2002
ACM
15 years 7 months ago
2002
ACM
An important class of searches on the world-wide-web has the goal to find an entry page (homepage) of an organisation. Entry page search is quite different from Ad Hoc search. Ind...