9503 search results - page 1754 / 1901 » Authenticated System Calls |
198
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
203
click to vote
CONSTRAINTS
2010
15 years 3 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
206
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper addresses the following question: Is it possible to migrate TCP/IP flows between different networks on modern mobile devices, without infrastructure support or protocol...
199
click to vote
AMM
2011
15 years 1 months ago
2011
—The number of resources or items that users can now access when navigating on the Web or using e-services, is so huge that these might feel lost due to the presence of too much ...
184
click to vote
CAE
2010
15 years 1 months ago
2010
We have implemented a non-photorealistic rendering system which simulates the placement of paint/pencil/pastel strokes to produce representational artworks from digital images. Th...