4979 search results - page 401 / 996 » Batch codes and their applications |
170
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
178
click to vote
DICTA
2003
15 years 8 months ago
2003
Video coding standards have incorporated various error resilience and error concealment tools, yet data losses during video transmission in mobile systems still pose big challenges...
206
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
172
click to vote
INFSOF
2002
15 years 6 months ago
2002
While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
191
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...