Sciweavers

1573 search results - page 81 / 315
» Picture Programming Project
Sort
View
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 3 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
SSR
2001
134views more  SSR 2001»
15 years 1 months ago
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Kurt Stirewalt, Laura K. Dillon
MP
2010
150views more  MP 2010»
14 years 6 months ago
The algebraic degree of semidefinite programming
Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minima...
Jiawang Nie, Kristian Ranestad, Bernd Sturmfels
WIKIS
2009
ACM
15 years 6 months ago
The social roles of bots and assisted editing programs
This paper investigates software programs as non-human social actors in Wikipedia, arguing that influence must not be overlooked in social scientific research of the on-line encyc...
R. Stuart Geiger
AHS
2007
IEEE
263views Hardware» more  AHS 2007»
15 years 6 months ago
Programming an FPGA-based Super Computer Using a C-to-VHDL Compiler: DIME-C
Since their invention in the 1980s, the logic density of FPGAs has increased exponentially with time. This increase of logic density first led to the development of synthesisable ...
Gildas Genest, Richard Chamberlain, Robin J. Bruce