4305 search results - page 367 / 861 » Analysing Protocol Implementations |
183
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
143
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
190
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a method of low-power variable-block-size motion estimation using pixel truncation. Previous work focused on implementing pixel truncation using fixed-bloc...
176
click to vote
AI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...
170
click to vote
CEFP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....