Zobrazeno 1 - 10
of 18
pro vyhledávání: '"FARES FRAIJ"'
Autor:
Fares FRAIJ, Bassam AL-MAHADEEN
Publikováno v:
Journal of Applied Computer Science & Mathematics, Vol 6, Iss 12, Pp 24-29 (2012)
This paper investigates the effect of using computer applications on students’ capabilities in distinguishing a type of functions. The type of functions is one-to-one and the use of the computer applications was through visual and interactive webba
Externí odkaz:
https://doaj.org/article/b3da6e1b21ec476ca250d7eefb8e7b00
Autor:
Suleiman AL KHATTAB, FARES FRAIJ
Publikováno v:
Management & Marketing, Vol IX, Iss 1, Pp 111-125 (2011)
With the increasing number of higher education institutions in Jordan,universities are competing to attract more students. To achieve this goal, theuniversities are competing to provide the students with all possiblesatisfaction means through providi
Externí odkaz:
https://doaj.org/article/9d89c268617c46038e0aca6244b2e555
Publikováno v:
Journal of Applied Computer Science & Mathematics, Vol 5, Iss 10, Pp 9-13 (2011)
This paper presents a new compression technique based on Run-Length Encoding scheme (RLE). The technique is semi-lossless and utilizes pixel value rather than bit value. The encoding process starts by mapping the colors of an image to a vector where
Externí odkaz:
https://doaj.org/article/9235ae33afab4a0fa41b14a817adae99
Publikováno v:
Information Technology Journal. 9:673-679
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fae182f386ee0fe1bcc2f1b44c37b4a
https://doi.org/10.3923/itj.2010.673.679
https://doi.org/10.3923/itj.2010.673.679
Autor:
Fares Fraij
Publikováno v:
International Journal of Soft Computing. 5:67-71
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::143a0323749695107bbb5e8d5e836bc2
https://doi.org/10.3923/ijscomp.2010.67.71
https://doi.org/10.3923/ijscomp.2010.67.71
Publikováno v:
ACM Transactions on Embedded Computing Systems. 5:773-818
The SSP is a hardware implementation of a subset of the JVM for use in high-consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43ae138923b41f2164247de807779c1b
https://doi.org/10.1145/1196636.1196639
https://doi.org/10.1145/1196636.1196639
Autor:
Fares Fraij, Steve Roach
Publikováno v:
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications.
This paper presents a formal correctness proof for some properties of restricted finite directed acyclic graphs (DAGs). A restricted graph has a single root and arbitrary siblings. The siblings are assigned integers, string values, or restricted DAGs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5e07022edaa3bf78b4ccc280b4e99ce
https://doi.org/10.1145/1637837.1637849
https://doi.org/10.1145/1637837.1637849
Autor:
Gregory L. Wickstrom, Jason Beranek, Azamat Mametjanov, Fares Fraij, Steve Roach, Victor Winter
Publikováno v:
WORDS
The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6559693f87ef336f071779d7b292ff17
https://doi.org/10.1109/words.2005.12
https://doi.org/10.1109/words.2005.12
The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is deflned in the speciflcation of the JVM, can be performe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91f42785de13a8f342c081fae7156453
https://doi.org/10.2172/882346
https://doi.org/10.2172/882346
Program transformation is a restricted form of software construction that can be amenable to formal verification. When successful, the nature of the evidence provided by such a verification is considered strong and can constitute a major component of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9107a0d97e2fd323f34cf47f13b6d115
https://doi.org/10.2172/918741
https://doi.org/10.2172/918741