Sciweavers

4190 search results - page 50 / 838
» Type Class Directives
Sort
View
ESANN
2006
15 years 3 months ago
Parallel hardware implementation of a broad class of spiking neurons using serial arithmetic
Abstract. Current digital, directly mapped implementations of spiking neural networks use serial processing and parallel arithmetic. On a standard CPU, this might be the good choic...
Benjamin Schrauwen, Jan M. Van Campenhout
PPDP
2010
Springer
15 years 10 days ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch
UAIS
2008
88views more  UAIS 2008»
15 years 2 months ago
Utilizing Wiki-Systems in higher education classes: a chance for universal access?
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
Martin Ebner, Michael D. Kickmeier-Rust, Andreas H...
OOPSLA
2009
Springer
15 years 9 months ago
Minimizing dependencies within generic classes for faster and smaller programs
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
Dan Tsafrir, Robert W. Wisniewski, David F. Bacon,...
ECOOP
2006
Springer
15 years 6 months ago
Parameterized Modules for Classes and Extensible Functions
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
Keunwoo Lee, Craig Chambers