Sciweavers

7430 search results - page 85 / 1486
» Programming Applications in CIFF
Sort
View
SIGSOFT
2010
ACM
13 years 2 months ago
Evolution of a bluetooth test application product line: a case study
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
Narayan Ramasubbu, Rajesh Krishna Balan
SODA
2012
ACM
217views Algorithms» more  SODA 2012»
11 years 10 months ago
Deterministic construction of an approximate M-ellipsoid and its applications to derandomizing lattice algorithms
We give a deterministic O(log n)n -time and space algorithm for the Shortest Vector Problem (SVP) of a lattice under any norm, improving on the previous best deterministic nO(n) -...
Daniel Dadush, Santosh Vempala
ENTCS
2000
109views more  ENTCS 2000»
13 years 8 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
JMLC
2000
Springer
13 years 11 months ago
Derivation of Secure Parallel Applications by Means of Module Embedding
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.
Atanas Radenski
TOOLS
1992
IEEE
14 years 7 days ago
Write-ing Applications: Design of an Extensible Text Editor as an Application Framework
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
Clemens A. Szyperski